(declare-const i  Real)
(assert (< i 0.0))
(assert )
(check-sat)
(model)
